package core;

import java.util.Comparator;

import syntax.TermMethods;

public class NodeComparator implements Comparator<Node> {

	public int compare(Node o1, Node o2) {
		int flag = o2.validity - o1.validity;
		if(flag == 0)  {
			return TermMethods.compareArgsTo(o1.content, o2.content);
		}
		else  {
			return flag;
		}
	}

}
